Postulates Of Special Relativity
   HOME

TheInfoList



OR:

In physics,
Albert Einstein Albert Einstein ( ; ; 14 March 1879 – 18 April 1955) was a German-born theoretical physicist, widely acknowledged to be one of the greatest and most influential physicists of all time. Einstein is best known for developing the theory ...
's 1905 theory of
special relativity In physics, the special theory of relativity, or special relativity for short, is a scientific theory regarding the relationship between space and time. In Albert Einstein's original treatment, the theory is based on two postulates: # The laws o ...
is derived from
first principle In philosophy and science, a first principle is a basic proposition or assumption that cannot be deduced from any other proposition or assumption. First principles in philosophy are from First Cause attitudes and taught by Aristotelians, and nua ...
s now called the postulates of special relativity. Einstein's formulation only uses two
postulate An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or f ...
s, though his derivation implies a few more assumptions.


Postulates of special relativity

1. First postulate (
principle of relativity In physics, the principle of relativity is the requirement that the equations describing the laws of physics have the same form in all admissible frames of reference. For example, in the framework of special relativity the Maxwell equations have ...
) : The laws of physics take the same form in all
inertial frames of reference In classical physics and special relativity, an inertial frame of reference (also called inertial reference frame, inertial frame, inertial space, or Galilean reference frame) is a frame of reference that is not undergoing any acceleration ...
. 2. Second postulate (invariance of '' c'') : As measured in any inertial frame of reference, light is always propagated in empty
space Space is the boundless three-dimensional extent in which objects and events have relative position and direction. In classical physics, physical space is often conceived in three linear dimensions, although modern physicists usually consider ...
with a definite velocity ''c'' that is independent of the state of motion of the emitting body. Or: the speed of light in free space has the same value ''c'' in all inertial frames of reference. The two-postulate basis for special relativity is the one historically used by Einstein, and it remains the starting point today. As Einstein himself later acknowledged, the derivation of the Lorentz transformation tacitly makes use of some additional assumptions, including spatial homogeneity,
isotropy Isotropy is uniformity in all orientations; it is derived . Precise definitions depend on the subject area. Exceptions, or inequalities, are frequently indicated by the prefix ' or ', hence ''anisotropy''. ''Anisotropy'' is also used to describe ...
, and memorylessness. Also
Hermann Minkowski Hermann Minkowski (; ; 22 June 1864 – 12 January 1909) was a German mathematician and professor at Königsberg, Zürich and Göttingen. He created and developed the geometry of numbers and used geometrical methods to solve problems in number t ...
implicitly used both postulates when he introduced the
Minkowski space In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two events is independent of the inerti ...
formulation, even though he showed that ''c'' can be seen as a space-time constant, and the identification with the speed of light is derived from optics.


Alternative derivations of special relativity

Historically,
Hendrik Lorentz Hendrik Antoon Lorentz (; 18 July 1853 – 4 February 1928) was a Dutch physicist who shared the 1902 Nobel Prize in Physics with Pieter Zeeman for the discovery and theoretical explanation of the Zeeman effect. He also derived the Lorentz t ...
and
Henri Poincaré Jules Henri Poincaré ( S: stress final syllable ; 29 April 1854 – 17 July 1912) was a French mathematician, theoretical physicist, engineer, and philosopher of science. He is often described as a polymath, and in mathematics as "The ...
(1892–1905) derived the
Lorentz transformation In physics, the Lorentz transformations are a six-parameter family of Linear transformation, linear coordinate transformation, transformations from a Frame of Reference, coordinate frame in spacetime to another frame that moves at a constant velo ...
from
Maxwell's equations Maxwell's equations, or Maxwell–Heaviside equations, are a set of coupled partial differential equations that, together with the Lorentz force law, form the foundation of classical electromagnetism, classical optics, and electric circuits. ...
, which served to explain the negative result of all aether drift measurements. By that the
luminiferous aether Luminiferous aether or ether ("luminiferous", meaning "light-bearing") was the postulated medium for the propagation of light. It was invoked to explain the ability of the apparently wave-based light to propagate through empty space (a vacuum), so ...
becomes undetectable in agreement with what Poincaré called the principle of relativity (see
History of Lorentz transformations The history of Lorentz transformations comprises the development of linear transformations forming the Lorentz group or Poincaré group preserving the Lorentz interval -x_^+\cdots+x_^ and the Minkowski inner product -x_y_+\cdots+x_y_. In mathema ...
and
Lorentz ether theory What is now often called Lorentz ether theory (LET) has its roots in Hendrik Lorentz's "theory of electrons", which was the final point in the development of the classical aether theories at the end of the 19th and at the beginning of the 20th cen ...
). A more modern example of deriving the Lorentz transformation from electrodynamics (without using the historical aether concept at all), was given by
Richard Feynman Richard Phillips Feynman (; May 11, 1918 – February 15, 1988) was an American theoretical physicist, known for his work in the path integral formulation of quantum mechanics, the theory of quantum electrodynamics, the physics of the superflu ...
. Following Einstein's original derivation and the group theoretical presentation by Minkowski, many alternative derivations have been proposed, based on various sets of assumptions. It has often been argued (such as by
Vladimir Ignatowski Vladimir Sergeyevitch Ignatowski, or Waldemar Sergius von Ignatowsky and similar names in other publications (* March 8/20, 1875 in Tbilisi, Georgia; † January 13, 1942 in Leningrad), was a Russian physicist. Life and work Ignatowski graduated i ...
in 1910, or
Philipp Frank Philipp Frank (March 20, 1884 – July 21, 1966) was a physicist, mathematician and philosopher of the early-to-mid 20th century. He was a logical positivist, and a member of the Vienna Circle. He was influenced by Mach and was one of the Machis ...
and
Hermann Rothe Hermann Rothe (28 December 1882 in Vienna – 18 December 1923 in Vienna) was an Austrian mathematician. Rothe studied at the University of Vienna and the University of Göttingen. He attained the Doctorate in Engineering in 1909 in Vienna. Th ...
in 1911, and many others in subsequent years) that a formula equivalent to the Lorentz transformation, up to a nonnegative free parameter, follows from just the relativity postulate itself, without first postulating the universal light speed.Chapter "Relativity without c" page 549
/ref> These formulations rely on the aforementioned various assumptions such as isotropy. The numerical value of the parameter in these transformations can then be determined by experiment, just as the numerical values of the parameter pair ''c'' and the
Vacuum permittivity Vacuum permittivity, commonly denoted (pronounced "epsilon nought" or "epsilon zero"), is the value of the absolute dielectric permittivity of classical vacuum. It may also be referred to as the permittivity of free space, the electric consta ...
are left to be determined by experiment even when using Einstein's original postulates. Experiment rules out the validity of the Galilean transformations. When the numerical values in both Einstein's and other approaches have been found then these different approaches result in the same theory.


Mathematical formulation of the postulates

In the rigorous mathematical formulation of special relativity, we suppose that the universe exists on a four-dimensional
spacetime In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differen ...
''M''. Individual points in spacetime are known as
events Event may refer to: Gatherings of people * Ceremony, an event of ritual significance, performed on a special occasion * Convention (meeting), a gathering of individuals engaged in some common interest * Event management, the organization of ev ...
; physical objects in spacetime are described by
worldline The world line (or worldline) of an object is the path that an object traces in 4-dimensional spacetime. It is an important concept in modern physics, and particularly theoretical physics. The concept of a "world line" is distinguished from con ...
s (if the object is a point particle) or
worldsheet In string theory, a worldsheet is a two-dimensional manifold which describes the embedding of a string in spacetime. The term was coined by Leonard Susskind as a direct generalization of the world line concept for a point particle in special a ...
s (if the object is larger than a point). The worldline or worldsheet only describes the motion of the object; the object may also have several other physical characteristics such as energy-momentum,
mass Mass is an intrinsic property of a body. It was traditionally believed to be related to the quantity of matter in a physical body, until the discovery of the atom and particle physics. It was found that different atoms and different elementar ...
,
charge Charge or charged may refer to: Arts, entertainment, and media Films * '' Charge, Zero Emissions/Maximum Speed'', a 2011 documentary Music * ''Charge'' (David Ford album) * ''Charge'' (Machel Montano album) * ''Charge!!'', an album by The Aqu ...
, etc. In addition to events and physical objects, there are a class of
inertial frames of reference In classical physics and special relativity, an inertial frame of reference (also called inertial reference frame, inertial frame, inertial space, or Galilean reference frame) is a frame of reference that is not undergoing any acceleration ...
. Each inertial frame of reference provides a
coordinate system In geometry, a coordinate system is a system that uses one or more numbers, or coordinates, to uniquely determine the position of the points or other geometric elements on a manifold such as Euclidean space. The order of the coordinates is sig ...
(x_1,x_2,x_3,t) for events in the spacetime ''M''. Furthermore, this frame of reference also gives coordinates to all other physical characteristics of objects in the spacetime; for instance, it will provide coordinates (p_1,p_2,p_3,E) for the momentum and energy of an object, coordinates (E_1,E_2,E_3,B_1,B_2,B_3) for an
electromagnetic field An electromagnetic field (also EM field or EMF) is a classical (i.e. non-quantum) field produced by (stationary or moving) electric charges. It is the field described by classical electrodynamics (a classical field theory) and is the classical c ...
, and so forth. We assume that given any two inertial frames of reference, there exists a
coordinate transformation In geometry, a coordinate system is a system that uses one or more numbers, or coordinates, to uniquely determine the position of the points or other geometric elements on a manifold such as Euclidean space. The order of the coordinates is sig ...
that converts the coordinates from one frame of reference to the coordinates in another frame of reference. This transformation not only provides a conversion for spacetime coordinates (x_1,x_2,x_3,t), but will also provide a conversion for all other physical coordinates, such as a conversion law for momentum and energy (p_1,p_2,p_3,E), etc. (In practice, these conversion laws can be efficiently handled using the mathematics of
tensor In mathematics, a tensor is an algebraic object that describes a multilinear relationship between sets of algebraic objects related to a vector space. Tensors may map between different objects such as vectors, scalars, and even other tenso ...
s.) We also assume that the universe obeys a number of physical laws. Mathematically, each physical law can be expressed with respect to the coordinates given by an inertial frame of reference by a mathematical equation (for instance, a
differential equation In mathematics, a differential equation is an equation that relates one or more unknown functions and their derivatives. In applications, the functions generally represent physical quantities, the derivatives represent their rates of change, an ...
) which relates the various coordinates of the various objects in the spacetime. A typical example is
Maxwell's equations Maxwell's equations, or Maxwell–Heaviside equations, are a set of coupled partial differential equations that, together with the Lorentz force law, form the foundation of classical electromagnetism, classical optics, and electric circuits. ...
. Another is
Newton's first law Newton's laws of motion are three basic laws of classical mechanics that describe the relationship between the motion of an object and the forces acting on it. These laws can be paraphrased as follows: # A body remains at rest, or in motion ...
. 1. First Postulate (
Principle of relativity In physics, the principle of relativity is the requirement that the equations describing the laws of physics have the same form in all admissible frames of reference. For example, in the framework of special relativity the Maxwell equations have ...
) : Under transitions between inertial reference frames, the equations of all fundamental laws of physics stay form-invariant, while all the numerical constants entering these equations preserve their values. Thus, if a fundamental physical law is expressed with a mathematical equation in one inertial frame, it must be expressed by an identical equation in any other inertial frame, provided both frames are parameterised with charts of the same type. (The caveat on charts is relaxed, if we employ connections to write the law in a covariant form.) 2. Second Postulate (Invariance of ''c'') : There exists an absolute constant 0 < c < \infty with the following property. If ''A'', ''B'' are two events which have coordinates (x_1,x_2,x_3,t) and (y_1,y_2,y_3,s) in one inertial frame F, and have coordinates (x'_1,x'_2,x'_3,t') and (y'_1,y'_2,y'_3,s') in another inertial frame F', then :: \sqrt = c(s-t) \quad
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is bicondi ...
\quad \sqrt = c(s'-t'). Informally, the Second Postulate asserts that objects travelling at speed ''c'' in one reference frame will necessarily travel at speed ''c'' in all reference frames. This postulate is a subset of the postulates that underlie Maxwell's equations in the interpretation given to them in the context of special relativity. However, Maxwell's equations rely on several other postulates, some of which are now known to be false (e.g., Maxwell's equations cannot account for the quantum attributes of electromagnetic radiation). The second postulate can be used to imply a stronger version of itself, namely that the
spacetime interval In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differen ...
is
invariant Invariant and invariance may refer to: Computer science * Invariant (computer science), an expression whose value doesn't change during program execution ** Loop invariant, a property of a program loop that is true before (and after) each iteratio ...
under changes of inertial reference frame. In the above notation, this means that :c^2 (s-t)^2 - (x_1-y_1)^2 - (x_2-y_2)^2 - (x_3-y_3)^2 := c^2 (s'-t')^2 - (x'_1-y'_1)^2 - (x'_2-y'_2)^2 - (x'_3-y'_3)^2 for any two events ''A'', ''B''. This can in turn be used to deduce the transformation laws between reference frames; see
Lorentz transformation In physics, the Lorentz transformations are a six-parameter family of Linear transformation, linear coordinate transformation, transformations from a Frame of Reference, coordinate frame in spacetime to another frame that moves at a constant velo ...
. The postulates of special relativity can be expressed very succinctly using the mathematical language of
pseudo-Riemannian manifold In differential geometry, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the ...
s. The second postulate is then an assertion that the four-dimensional spacetime ''M'' is a pseudo-Riemannian manifold equipped with a metric ''g'' of signature (1,3), which is given by the
Minkowski metric In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of Three-dimensional space, three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two Event (rel ...
when measured in each inertial reference frame. This metric is viewed as one of the physical quantities of the theory; thus it transforms in a certain manner when the frame of reference is changed, and it can be legitimately used in describing the laws of physics. The first postulate is an assertion that the laws of physics are invariant when represented in any frame of reference for which ''g'' is given by the Minkowski metric. One advantage of this formulation is that it is now easy to compare special relativity with
general relativity General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics ...
, in which the same two postulates hold but the assumption that the metric is required to be Minkowski is dropped. The theory of
Galilean relativity Galilean invariance or Galilean relativity states that the laws of motion are the same in all inertial frames of reference. Galileo Galilei first described this principle in 1632 in his '' Dialogue Concerning the Two Chief World Systems'' using t ...
is the limiting case of special relativity in the limit c \to \infty (which is sometimes referred to as the non-relativistic limit). In this theory, the first postulate remains unchanged, but the second postulate is modified to: : If ''A'', ''B'' are two events which have coordinates (x_1,x_2,x_3,t) and (y_1,y_2,y_3,s) in one inertial frame F, and have coordinates (x'_1,x'_2,x'_3,t') and (y'_1,y'_2,y'_3,s') in another inertial frame F', then s-t = s'-t'. Furthermore, if s-t=s'-t'=0, then ::\quad \sqrt ::= \sqrt. The physical theory given by
classical mechanics Classical mechanics is a physical theory describing the motion of macroscopic objects, from projectiles to parts of machinery, and astronomical objects, such as spacecraft, planets, stars, and galaxies. For objects governed by classical ...
, and
Newtonian gravity Newton's law of universal gravitation is usually stated as that every particle attracts every other particle in the universe with a force that is proportional to the product of their masses and inversely proportional to the square of the distan ...
is consistent with Galilean relativity, but not special relativity. Conversely, Maxwell's equations are not consistent with Galilean relativity unless one postulates the existence of a physical aether. In a surprising number of cases, the laws of physics in special relativity (such as the famous equation E=mc^2) can be deduced by combining the postulates of special relativity with the hypothesis that the laws of special relativity approach the laws of classical mechanics in the non-relativistic limit.


Notes

{{Physics-footer *